COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "ltr[r,les]" source_file
C00010 00003	.begin "refs"
C00024 ENDMK
C⊗;
.require "ltr[r,les]" source_file;
.font A "ngr20"

.ltr("Director, Advanced Research Projects Agency",28 February 1974)
Department of Defense
Washington, D. C.

.begin "barf"
.at "<" ⊂"%3"⊃; at ">" ⊂"%1"⊃;
.turn on "→\"
.tabs 4,42,46
<SUBJECT:>  Quarterly Management Report
→%AForm approved, Budget
→Bureau No. 22-RO293.%*

<ARPA Order Number:> 2494\<Contract Number:> DAHC15 73C 0435

<Program Code Number:> 3D30\<Principal Investigator:> Prof. John McCarthy
\\\415-321-2300, extension 4430

<Name of Contractor:>  Board of Trustees of\<Executive Officer:> Lester Earnest
\the Leland Stanford Junior University \\415-321-2300, extension 4202

<Effective Date of Contract:> 15 June 1973\<Short Title of Work:> Artificial Intelligence,
\\\Heuristic Programming, and
<Contract Expiration Date:> 30 June 1975\\Network Protocols Projects

<Amount of Contract:>  $3,000,000
.end "barf"

.macro lb(nam) ⊂ if lines<5 then next page else skip; once select 3
nam

.⊃

Dear Sir:

.fac
During the Autumn Quarter, members of our staff published several articles
on analysis of algorithms and programming languages [1, 12, 14, 15].
An article on computer vision appeared [2], as well as a report on our robotics
work [13].

A Ph.D. dissertation on mathematical theory of computation was produced [11]
and Manna completed the first textbook in this field, which will appear
shortly [3].  Several articles [4, 8, 9, 10] and a book [5] on natural
language understanding were published by our staff.

The Heuristic Programming Project published two more articles on chemical
inference [6, 7].

.lb Research Program and Plan

In late October, we learned of the prospective availability of a BBN Pager
at NASA Ames.  Since the A. I. Project wished to change to the Tenex operating
system, we requested and received approval to have the
pager.  It was moved here and installed over the Christmas holidays.  Our
system programming group is currently wrestling with the problem of developing
adequate display service and meeting other local requirements within Tenex.

.lb Major Accomplishments

Nothing new.

.lb Problems Encountered

No new ones.

.lb Fiscal Status

.begin turn on "→"
Amount currently funded:→$2,248,000

Estimated expenditures and commitments (through 31 December 1973): →$  927,500

Estimated funds required (through 30 June 1975): →$3,000,000

.end

.lb Action Required by the Government

None.

.lb Future Plans

No change.

.lde
.skip 2

.GROUP begin
.nofill turn on "\"
.tabs 5,40
cc:\addressee - 2 copies\J. McCarthy
\A. Blue, ARPA\V. Cerf
\S. Crocker, ARPA\E. Feigenbaum
\J. Ducey, ONR, Stanford\R. Floyd
\J. C. R. Licklider, ARPA\J. Jobe
.END APART
.begin "refs"
.if lines<10 then next page else skip;
.cb REFERENCES

.INDENT 0,3; NOJUST; TURN ON "%";
.AT """" ⊂ (IF THISFONT=1 THEN "%3" ELSE "%1") ⊃
.AT "<" ⊂ "%2" ⊃;  AT ">" ⊂ "%1" ⊃;

.COUNT exref TO 200
.AT "⊗" ⊂ IF LINES<3 THEN NEXT PAGE; NEXT EXREF; (EXREF&".  ") ⊃

⊗Jerome Feldman, James R. Low, "Comment on Brent's Scatter Storage
Algorithm", <Comm. ACM>, November 1973.

⊗Manfred Hueckel, "A Operator which Locates Edges in Digitized Pictures",
<JACM>, October 1973.

⊗Zohar Manna, <Introduction to Mathemetical Theory of Computation>,
McGraw-Hill, New York, 1974.

⊗Roger Schank, Neil Goldman, "Theoretical Considerations in Text Processing",
<Conf. Proc. Computer Text Processing and Scientific Research (1972)>,
O.N.R., Pasadena, March 1973.

⊗Roger Schank, Kenneth Colby, (eds.), <Computer Models of Thought and
Language>, W. H. Freeman, San Francisco, 1973.

⊗D. H. Smith, B. G. Buchanan, R. S. Engelmore, H. Aldercruetz,
C. Djerassi, "Applications of
Artificial Intelligence for Chemical Inference IX.  Analysis of
Mixtures without Prior Separation as Illustrated for Estrogens",
<J. American Chem. Soc.>, Vol. 95, No. 18, page 6078, 1973.

⊗D. H. Smith, B. G. Buchanan, W. C. White,
E. A. Feigenbaum, J. Lederberg, C. Djerassi, "Applications of
Artificial Intelligence for Chemical Inference X.  Intsum.  A Data
Interpretation Program as Applied to the Collected Mass Spectra
of Estrogenic Steroids", <Tetrahedron>, Vol. 29, page 3117, 1973.

⊗Yorick Wilks, "The Stanford Machine Translation and Understanding Project",
in Rustin (ed.), <Natural Language Processing>, New York, 1973.

⊗Yorick Wilks, "The Computer Analysis of Philosophical Arguments", <CIRPHO>,
Vol. 1, No. 1, September 1973.

⊗Yorick Wilks, "One Small Head -- Models and Theories in Linguistics",
<Foundations of Language>, Vol. 10, No. 1, January 1974.

⊗Jean E. Vuillemin, "Proof Techniques for Recursive Programs", AIM-218,
October 1973.

⊗C. A. R. Hoare, "Parallel Programming: an Axiomatic Approach", AIM-219,
October 1973.

⊗Robert Bolles, Richard Paul, "The Use of Sensory Feedback in a Programmable
Assembly System", AIM-220, October 1973.

⊗C. A. R. Hoare, "Recursive Data Structures", AIM-223, December 1973.

⊗C. A. R. Hoare, "Hints on Programming Language Design", AIM-224, December 1973.

.end "refs"